×

linear logic中文什么意思

发音:   用"linear logic"造句
  • 线性逻辑
  • linear:    adj. 1.线的，直线的。 2.长度的。 3.【数学】 ...
  • logic:    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
  • cellular linear input logic:    细胞线性输入逻辑
  • -logic:    -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
  • and logic:    “与”逻辑
下载手机词典可随时随地查词查翻译

百科释义

    Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics,, as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction.
    详细百科解释

相关词汇

        linear:    adj. 1.线的，直线的。 2.长度的。 3.【数学】 ...
        logic:    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
        cellular linear input logic:    细胞线性输入逻辑
        -logic:    -logic, -logical 〔构成与 -logy 结尾的名词相应的形容词〕表示“…学的”： biological, philological.
        and logic:    “与”逻辑
        logic:    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理性。 3. 威力，压力，强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑，恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
        logic-and:    逻辑“与”
        or logic:    或逻辑
        be linear with:    与...成线性关系
        linear:    adj. 1.线的，直线的。 2.长度的。 3.【数学】一次的，线性的。 4.【动、植】线状的；细长的。 5.由线条组成的，以线条为主的，强调线条的。 linear amplification 直线放大。 a linear equation 一次方程式。 a linear leaf 线形叶。 linear arts 线条艺术。
        linear a:    线形文字a; 线性文字a
        no-linear:    非线性的
        linear linear:    线性的
        linear a and linear b:    线形文字甲和乙
        linear scan, linear scanning:    线扫查
        active logic:    有源逻辑
        actuating logic:    执行逻辑
        adaptive logic:    适应性逻辑（电脑）; 自适应逻辑
        affective logic:    情感逻辑
        algebra and logic:    代数与逻辑
        algebra of logic:    逻辑代数
        algebraic logic:    代数逻辑
        algorithm logic:    运算逻辑
        algorithmic logic:    算法逻辑
        alternating logic:    交替逻辑

其他语言

相邻词汇

  1. linear load 什么意思
  2. linear load field effect transistor 什么意思
  3. linear loader 什么意思
  4. linear loading density 什么意思
  5. linear location 什么意思
  6. linear longitude 什么意思
  7. linear low density 什么意思
  8. linear low density polyethylene 什么意思
  9. linear low density polyethylene resin 什么意思
  10. linear low density polyethylene, lldpe 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Wed, 13 Aug 2025 00:29:56 GMT